Розглянуто проблему забезпечення неперервності керування процесами життєвого циклу судна, починаючи зі стадії концептуального проектування. Показано, що модель виробу, яка відповідає STEP, не може забезпечити потрібну неперервність. Запропоновано базову комплексну інформаційну модель судна як комірчастого об'єкта, сформульовано основні вимоги до неї та методи її реалізації.

Розглянуто генезис поняття "комп'ютерна модель", що надається у контексті фундаментальних понять "інформація" й "інформаційна модель".

Зазначено, що проектна документація - це своєрідна модель судна і тому процеси, що відбуваються під час проектування суден, розглянуто з точки зору моделювання. Показано, що проект можна розглядати не тільки як модель-опис судна, але й як модель-інтерпретацію деякої структурної теорії проектування. Для вирішення проблем формулювання та дослідження такої теорії запропоновано застосовувати апарат математичної логіки.

Побудовано алгебричну систему, яка на основі булевських операцій і введеної операції дихотомії формалізує процес створення комірчастої структури. Система призначена для моделювання таких порожнинних об'єктів, як судна, літаки, будівлі.

Проаналізовано причини, за якими науково обгрунтована теорія проектування інженерних об'єктів залишається не розробленою. Наведено загальну структуру аксіоматичної теорії проектування, яка усуває суперечність між дискретними властивостями комп'ютера, як засобу моделювання, і необхідністю відображення континуальних властивостей об'єктів проектування.

На основі поняття моделі обурунтовано визначення конструювання суден як процесу конструктивного доведення істинності тверджень теорії конструювання судна шляхом побудови моделі-інтерпретації. Розглянуто задачі, розв'язання яких потрібне для вирішення проблеми створення теоретичної основи для систематичної розробки програмного забезпечення конструювання суден.

Розглянуто задачу моделювання підшипника суднового валопровода з неметалевим вкладишем як пружної основи методом скінченних елементів. Виконано аналіз існуючих матриць жорсткості стрижневих скінченних елементів на пружній основі. Розроблено матрицю жорсткості елемента на пружній основі Вінклеровського типу з параболічним законом зміни коефіцієнта жорсткості за довжиною елемента. Показана ефективність розробленої матриці порівняно з матрицями, отриманими з використанням постійного і лінійного розподілу жорсткості. Подані рекомендації щодо вибору кількості елементів, необхідних для адекватного моделювання неметалевих вкладишів підшипників суднового валопровода.